Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
191	ANNALS OF PURE AND APPLIED LOGIC Annals of Pure and Applied Logic276 Fixed-parameter tractability and completeness IV: Add to Reading List Source URL: www.mrfellows.net Language: English - Date: 2009-10-14 09:20:30 Complexity classes NP-complete problems Structural complexity theory Mathematical optimization Parameterized complexity Dominating set P versus NP problem NP-complete Combinatory logic Theoretical computer science Computational complexity theory Applied mathematics
192	Weak Formal Systems and Connections to Computational Complexity Lecture Notes for a Topics Course University of California, Berkeley January-May 1988 Add to Reading List Source URL: euclid.ucsd.edu Language: English - Date: 2006-04-24 18:16:59 Proof theory Automated theorem proving Propositional calculus Logical truth Logical syntax Sequent Cut-elimination theorem Substitution Resolution Logic Mathematical logic Mathematics
193	Scheduling and SAT Emmanuel Hebrard Toulouse Outline Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2014-02-17 02:59:42 Constraint programming Logic in computer science NP-complete problems Boolean algebra Boolean satisfiability problem Electronic design automation Satisfiability NP-complete Model checking Theoretical computer science Applied mathematics Computational complexity theory
194	Journal of Computer and System Sciences–737 Contents lists available at ScienceDirect Journal of Computer and System Sciences www.elsevier.com/locate/jcss Add to Reading List Source URL: math.mit.edu Language: English - Date: 2011-03-23 10:26:18 Applied mathematics Natural proof Pseudorandom generator Entailment Time complexity Circuit complexity Arithmetic function Holomorphic functional calculus Theoretical computer science Computational complexity theory Logic
195	Inferring Knowledge with Word Refinements in a Crowdsourced Lexical-Semantic Network Manel Zarrouk UM2-LIRMM 161 rue AdaMontpellier, FRANCE Add to Reading List Source URL: anthology.aclweb.org Language: English - Date: 2014-08-08 12:20:05 Lexical semantics Semantics Computational linguistics Knowledge representation Reasoning Hyponymy WordNet Semantic network Inference Linguistics Logic Science
196	A Temporally-Enhanced PowerAnswer in TRECDan Moldovan, Mitchell Bowden and Marta Tatu Language Computer Corporation Richardson, Texas 75080 Add to Reading List Source URL: trec.nist.gov Language: English - Date: 2007-02-16 13:07:43 Linguistics Information science Information retrieval Logic form Question answering Open domain question answering EXtended WordNet Question Textual entailment Computational linguistics Natural language processing Science
197	Trusting Semi-structured Web Data Davide Ceolin supervised by Guus Schreiber, Wan Fokkink and Willem Robert van Hage VU University, Amsterdam, The Netherlands Abstract. The growth of the Web brings an uncountable amount Add to Reading List Source URL: eswc-conferences.org Language: English - Date: 2015-05-13 12:33:38 Data Reputation management Sociology Semantic Web Semantic similarity Probabilistic logic Trust Computational trust Statistics Information Science Non-classical logic
198	Efficient HRTF Computation using Adaptive Rectangular Decomposition Alok Meshram1 , Ravish Mehra1 , and Dinesh Manocha1 1 Dept. of Computer Science, University of North Carolina at Chapel Hill, 201 South Columbia Street Add to Reading List Source URL: gamma.cs.unc.edu Language: English - Date: 2014-12-24 16:51:47 Acoustics Control theory Head-related transfer function Signal processing Computational science Finite-difference time-domain method Simulation Logic simulation Polar coordinate system Electronic engineering Physics Electromagnetism
199	ICS 161 — Algorithms — Winter 2005 — First Midterm Please answer the following six questions on the answer sheets provided. Answers written on other pages or on the wrong sheet will not be scored. Be sure to write Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2005-04-21 19:41:07 Sorting algorithms Computational complexity theory Algorithm Mathematical logic Prime number Radix sort Multiplication algorithm Time complexity Anatolii Alexeevitch Karatsuba Mathematics Theoretical computer science Multiplication
200	g01 – Simple Calculations on Statistical Data g01ftc NAG C Library Function Document nag_deviates_landau (g01ftc) Add to Reading List Source URL: www.softintegration.com Language: English - Date: 2004-10-25 19:49:07 Science Applied mathematics Information theory Knowledge Constraint logic programming Computational science Numerical analysis Interpolation

UPDATE